#!/bin/sh
write_to(){
  FILE="$1"
  shift 1
  OUTPUT="$( "$@" )"

  cat << EOF > "$FILE"
$OUTPUT
EOF
}

echo_raw() {
  cat << EOF
$@
EOF
}

